61. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
62. Design methods for digital systems
پدیدآورنده : Chinal, Jean
موضوع : ، Switching theory,، Sequential machine theory,، Algebra, Boolean
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
63. Digital electronics 3 :
پدیدآورنده : Tertulien Ndjountche
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Digital electronics.,Sequential machine theory.
رده :
TK7868
.
D5
64. Digital logic and state machine design
پدیدآورنده : Comer, David J.
موضوع : ، Switching circuits,، Digital electronics,، Logic design,، Sequential machine theory
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
65. Digital logic and state machine design
پدیدآورنده : Comer, David J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Switching circuits,، Digital electronics,، Logic design,، Sequential machine theory
رده :
TK
7868
.
S9C66
1995
66. FSM-based digital design using Verilog HD
پدیدآورنده : / Peter Minns, Ian Elliott
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Verilog (Computer hardware description language),Digital electronics,Sequential machine theory
رده :
TK7885
.
7
.
M45
2008
67. FSM-based digital design using Verilog HDL
پدیدآورنده : Peter Minns, Ian Elliott
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Verilog (Computer hardware description language),Digital electronics,Sequential machine theory
68. FSM-based digital design using Verilog HDL
پدیدآورنده : / Peter Minns, Ian Elliott
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Verilog (Computer hardware description language,Digital electronics,Sequential machine theory
رده :
E-BOOK
69. Finite automata and application to cryptography
پدیدآورنده : Tao, Renji
موضوع : ، Sequential machine theory,، Cryptography
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
70. Finite automata; behavior and synthesis
پدیدآورنده : Trakhtenbrot, B. A.)Boris Avraamovich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
T713
71. Finite automata; behavior and synthesis
پدیدآورنده : / B. A. Trakhtenbrot and Ya. M. Barzdin, translated from the Russian by O. Louvish, English translation edited by E. Shamir and L. H. Landweber
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Sequential machine theory
رده :
620
.
891
Tr-F
72. Finite automata, their algebras and grammars
پدیدآورنده : J. Richard Buchi ; Dirk Siefkes, editor,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Sequential machine theory
رده :
QA
.
S4B83
267
.
5
1989
73. Finite automata : their algebras and grammars : Towards a theory of formal expressions
پدیدآورنده : Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4B83
1988
74. Finite state machine logic synthesis for complex programmable logic device
پدیدآورنده : / Robert Czerwinski and Dariusz Kania
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Sequential machine theory,Programmable logic devices,Electronic books
رده :
E-BOOK
75. Finite-state models for logical machines
پدیدآورنده : Hennie, Frederick C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
H4
76. Finite-state models for logical machines
پدیدآورنده : HENNIE,FREDERICK C
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SEQUENTIAL MACHINE THEORY
رده :
QA
267
.
5
.
S4
H4
77. Finite-state models for logical machines
پدیدآورنده : Hennie, Frederick C.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4H4
78. Finite transition systems : semantics of communicating systems, Systemes de transitions finit et semantique des processus communicants. English
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
A7613
1994
79. Formal properties of finite automata and applicatins : LITP Spring School of Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : Proceedings
پدیدآورنده : J.E. Pin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Sequential machine theory
رده :
QA
76
.
L28
Vol
.
386
80. Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Sequential machine theory-- Congresses
رده :
QA
267
.
5
.
S4
.
E26
1988
